61. Artificial intelligence applications and innovations: IFIP TC12 WG12.5--Second IFIP Conference on Artificial Intelligence Applications and Innovations )AIAI2005(, September 7-9, 2005, Beijing, China
پدیدآورنده : edited by Daoliang Li, Baoji Wang
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Artificial intelligence - Research
رده :
Q
334
.
I436
2005
62. Artificial intelligence for communications and networks :
پدیدآورنده : edited by Shuai Han, Liang Ye, Weixiao Meng.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
.
E87
2019
63. Artificial intelligence in education :
پدیدآورنده : edited by Susanne P. Lajoie and Martial Vivet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Educational applications, Congresses.,Intelligent tutoring systems, Congresses.,Open learning, Congresses.,Artificial intelligence-- Educational applications.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Education ouverte-- Informatique, Congrès.,Intelligence artificielle, Congrès.,Intelligent tutoring systems.,Open learning.
رده :
LB1028
.
73
.
L35
1999eb
64. Artificial intelligence in education :
پدیدآورنده : edited by Ulrich Hoppe, Felisa Verdejo and Judy Kay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Educational applications, Congresses.,Computer-assisted instruction, Congresses.,Intelligent tutoring systems, Congresses.,Enseignement, Systèmes d', Congrès.,Intelligence artificielle-- Applications en éducation, Congrès.,Tutoriels, Congrès.,Artificial intelligence-- Educational applications.,Computer-assisted instruction.,COMPUTERS-- Educational Software.,Computerunterstütztes Lernen,E-Learning,Intelligent tutoring systems.
رده :
LB1028
.
43
.
I69
2003eb
65. Artificial intelligence in renewable energetic systems :
پدیدآورنده : Mustapha Hatti, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Clean energy industries-- Data processing, Congresses.,Clean energy industries.,Renewable energy sources-- Data processing, Congresses.,Alternative & renewable energy sources & technology.,Artificial intelligence.,Artificial intelligence.,Clean energy industries.,Computational intelligence.,Engineering.,Renewable energy sources.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
Q342
.
A78
2018
66. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده : editor, Radek Silhavy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
67. Artificial intelligence research :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ;
68. Artificial intelligence research :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ;
69. Artificial intelligence research and development
پدیدآورنده : / edited by Beatriz Lopez ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Artificial intelligence Congresses
رده :
Q334
.
C37
2005
70. Artificial intelligence research and development :
پدیدآورنده : edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
71. Artificial intelligence research and development /
پدیدآورنده : edited by Cecilio Angulo and Lluís Godo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Computer Science.,COMPUTERS-- General.,Engineering & Applied Sciences.
رده :
Q334
.
C37
2007eb
72. Artificial intelligence research and development
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ;
73. Artificial neural networks--ICANN 2001 :International Conference, Vienna, Austria, August 21-25, 2001 : proceedings
پدیدآورنده : Georg Dorffner, Horst Bischof, Kurt Hornik )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Neural networks )Computer science(
رده :
QA
76
.
L28
Vol
.
2130
74. Associative information techniques; proceedings
پدیدآورنده : Symposium on Associative Information Techniques, 8691, General Motors Research Laboratories
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Computers-- Congresses
رده :
Q
335
.
5
.
S9
1968
75. Automata, languages and programming
پدیدآورنده : / Samson Abramsky ... [et al.] (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory, Congresses,Artificial intelligence, Congresses
رده :
QA267
.
I58
2010
76. Automated deduction in geometry :
پدیدآورنده : Tetsuo Ida, Jacques Fleuriot (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Geometry-- Data processing, Congresses
رده :
QA448
.
D38
I58
2012
77. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده : Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
78. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
79. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
